Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
531	The LATEX3 Interfaces The LATEX3 Project∗ March 1, 2015 Abstract This is the reference documentation for the expl3 programming environment. The Add to Reading List Source URL: www.tex.uniyar.ac.ru Language: English - Date: 2015-04-07 06:32:06 Functional languages Type theory Variables J Software engineering Computing Computer programming
532	An Introduction to APA Style A Student Guide for the 6th edition (2nd printing) of the APA Publication Manual[removed]mcym Add to Reading List Source URL: jlcjnet.com Language: English - Date: 2013-09-28 17:15:44 Bibliography Academic publishing APA style American Psychological Association Abstract Citation Research Type system Psychology Knowledge Education Academia
533	Living Worksheets® Type Addition Addition Addition Add to Reading List Source URL: www.livingworksheets.co.uk Language: English - Date: 2012-06-18 06:35:55 Arithmetic Binary operations Fraction Multiplication Addition Algebra 24 Game Number Matrix Mathematics Elementary arithmetic Abstract algebra
534	0XP1LIST Type Addition Addition Addition Add to Reading List Source URL: www.livingworksheets.co.uk Language: English - Date: 2012-06-18 06:35:49 Elementary arithmetic Binary operations Mathematics education Multiplication Mathematical notation Fraction Addition Matrix Number Mathematics Abstract algebra Arithmetic
535	How to Design Classes D RAFT: June 15, 2012 How to Design Classes Data: Structure and Organization Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-15 18:08:07 Object-oriented programming Subtype polymorphism Class Inheritance Method Interface Protocol Abstract type Objective-C Software engineering Computing Computer programming
536	HOL Constant Definition Done Right Rob Arthan Lemma 1 Ltd./ School of Electronic Engineering and Computer Science, Queen Mary, University of London, UK Abstract. This note gives a proposal for a simpler and more powerfu Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-21 11:45:28 Logic in computer science HOL Type theory Function Axiom Isabelle Axioms of set theory Mathematics Mathematical logic Logic
537	Software Engineering Technology The Use and Limitations of Static-Analysis Tools to Improve Software Quality S Add to Reading List Source URL: buildsecurityin.us-cert.gov Language: English - Date: 2013-05-20 13:05:09 Software testing Program analysis Procedural programming languages Code coverage Static program analysis C Type system Abstract interpretation Sonar Software engineering Software Computing
538	Bounds Checking: An Instance of Hybrid Analysis Troels Henriksen, Cosmin E. Oancea HIPERFIT, Department of Computer Science, University of Copenhagen (DIKU) [removed], [removed] Abstract Add to Reading List Source URL: hiperfit.dk Language: English Data types Array data type Pointer Type system ALGOL 68 Anonymous function Lookup table Aliasing Array data structure Computing Software engineering Computer programming
539	FINITE DIMENSIONAL REPRESENTATIONS OF KHOVANOV-LAUDA-ROUQUIER ALGEBRAS I: FINITE TYPE PETER J MCNAMARA Abstract. We classify simple representations of Khovanov-Lauda-Rouquier algebras in finite type. The classification i Add to Reading List Source URL: www.maths.usyd.edu.au Language: English - Date: 2013-07-18 01:39:52 Representation theory of Lie groups Quantum group Root system Weight Normal function Approximately finite dimensional C*-algebra Abstract algebra Lie algebras Algebra
540	JiST: EMBEDDING SIMULATION TIME INTO A VIRTUAL MACHINE (extended abstract) Rimon Barr, Zygmunt J. Haas, Robbert van Renesse Computer Science and Electrical Engineering, Add to Reading List Source URL: jist.ece.cornell.edu Language: English - Date: 2013-12-04 22:11:12 Science Quality Standards Public key certificate Type approval ISO 13485 Reliability engineering Professional certification Product certification Evaluation Technology

UPDATE